Deterministic system - PDFSEARCH.IO - Document Search Engine

Deterministic system
Results: 53

#	Item
21	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
22	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
23	ODR: Output-Deterministic Replay for Multicore Debugging Gautam Altekar and Ion Stoica UC Berkeley {galtekar, istoica}@cs.berkeley.edu Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-09-02 14:56:19 System software Parallel computing NTIME NP Determinism Algorithm Pin Graphical Environment Manager Software Applied mathematics Complexity classes
24	™ MICROKERNEL PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed real-time operating system (RTOS). VxWorks delivers unrivaled deterministic performance and s Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-03-31 14:29:45 Real-time operating systems Embedded operating systems VxWorks Wind River Systems Kernel Embedded system Simics Microkernel Embedded software System software Software Computing
25	Lessons Learned During the Development of the CapoOne Deterministic Multiprocessor Replay System ∗ Pablo Montesinos, Matthew Hicks, Wonsun Ahn, Samuel T. King and Josep Torrellas Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2009-05-31 00:24:02 System software Central processing unit Application programming interfaces Thread Ring Kernel Interrupt handler System call Mach Computing Computer architecture Concurrent computing
26	Generating Uniform Incremental Grids on SO(3) Using the Hopf Fibration Anna Yershova, Swati Jain, Steven M. LaValle, and Julie C. Mitchell Abstract The problem of generating uniform deterministic samples over the rotatio Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-15 13:47:22 Geometric topology Rotational symmetry Elementary geometry 3-sphere Euler angles Hopf fibration Spherical coordinate system Rotation group SO Rotation Geometry Analytic geometry Algebraic topology
27	Lessons Learned During the Development of the CapoOne Deterministic Multiprocessor Replay System Pablo Montesinos, Matthew Hicks, Wonsun Ahn, Samuel T. King and Josep Torrellas Department of Computer Science University o Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2010-12-23 17:56:46 Human behavior Motivation VisIt Behavior Application software Vladimiro Montesinos Software Cognition Experimental psychology
28	Capo: A Software-Hardware Interface for Practical Deterministic Multiprocessor Replay Pablo Montesinos, Matthew Hicks, Samuel T. King and Josep Torrellas Department of Computer Science University of Illinois at Urbana-Ch Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2010-12-23 18:01:32 Replay system Software Computer architecture Threads Computing Concurrent computing REPLAY
29	3-2 A Functional Cryptosystem Using a Group Action YAMAMURA Akihiro The main purpose of this paper is to examine applications of group theoretical concepts to cryptography. We construct a backward deterministic system em Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 18:57:46 Analytic number theory Modular form Moduli theory Quotient group Algebraic number field Normal subgroup Matrix Spectral theory of ordinary differential equations Representation theory of finite groups Abstract algebra Algebra Group theory
30	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science

UPDATE